Ian Horrocks

Results: 78



#Item
21

Extending Datatype Support in Web Ontology Reasoning Jeff Z. Pan and Ian Horrocks Information Management Group Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2007-07-26 07:51:39
    22

    Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk

    Add to Reading List

    Source URL: www.cs.man.ac.uk

    Language: English - Date: 2007-07-26 07:52:17
      23

      Web Ontology Reasoning with Datatype Groups Jeff Z. Pan and Ian Horrocks Department of Computer Science, University of Manchester, UK M13 9PL {pan,horrocks}@cs.man.ac.uk

      Add to Reading List

      Source URL: www.cs.man.ac.uk

      Language: English - Date: 2007-07-26 07:51:50
        24

        DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk

        Add to Reading List

        Source URL: www.cs.man.ac.uk

        Language: English - Date: 2007-07-26 07:51:51
          25

          RDFS(FA) and RDF MT: Two Semantics for RDFS Jeff Z. Pan and Ian Horrocks Department of Computer Science, University of Manchester, UK M13 9PL {pan,horrocks}@cs.man.ac.uk

          Add to Reading List

          Source URL: www.cs.man.ac.uk

          Language: English - Date: 2007-07-26 07:51:51
            26

            RDFS(FA): A DL-ised Sub-language of RDFS Jeff Z. Pan and Ian Horrocks Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK {pan,horrocks}@cs.man.ac.uk

            Add to Reading List

            Source URL: www.cs.man.ac.uk

            Language: English - Date: 2007-07-26 07:51:51
              27

              Description Logics for the Semantic Web Franz Baader, Ian Horrocks, Ulrike Sattler November 7, 2001 Abstract The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Descri

              Add to Reading List

              Source URL: www.cs.man.ac.uk

              Language: English - Date: 2007-07-26 07:51:32
                28

                Reasoning with Expressive Description Logics: Theory and Practice Ian Horrocks Department of Computer Science, University of Manchester Oxford Road, Manchester M13 9PL, UK

                Add to Reading List

                Source URL: www.cs.man.ac.uk

                Language: English - Date: 2007-07-26 07:51:33
                  29

                  A Software Framework For Matchmaking Based on Semantic Web Technology Lei Li Ian Horrocks

                  Add to Reading List

                  Source URL: www.cs.man.ac.uk

                  Language: English - Date: 2007-07-26 07:51:50
                    30

                    Three Theses of Representation in the Semantic Web Ian Horrocks Peter F. Patel-Schneider University of Manchester

                    Add to Reading List

                    Source URL: www.cs.man.ac.uk

                    Language: English - Date: 2007-07-26 07:51:49
                      UPDATE